Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
نویسندگان
چکیده
منابع مشابه
Separated finitely supported $Cb$-sets
The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...
متن کاملDening Finitely Supported Mathematics over Sets with Atoms
This paper presents some steps of defining a finitely supported mathematics by using sets with atoms. Such a mathematics generalizes the classical Zermelo-Fraenkel mathematics, and represents an appropriate framework to work with (infinite) structures in terms of finitely supported objects. We focus on the techniques of translating the Zermelo-Fraenkel results to this finitely supported mathema...
متن کاملCompactly Supported Refinable Functions with Infinite Masks
A compactly supported scaling function can come from a refinement equation with infinitely many nonzero coefficients (an infinite mask). In this case we prove that the symbol of the mask must have the special rational form ã(Z) = b̃(Z)c̃(Z)/b̃(Z). Any finite combination of the shifts of a refinable function will have such a mask, and will be refinable. We also study compactly supported solutions o...
متن کاملInfinite Subsets of Random Sets of Integers
There is an infinite subset of a Martin-Löf random set of integers that does not compute any Martin-Löf random set of integers. To prove this, we show that each real of positive effective Hausdorff dimension computes an infinite subset of a Martin-Löf random set of integers, and apply a result of Miller.
متن کاملConsistence of Choice Principles in Finitely Supported Mathematics
Finitely Supported Mathematics represents a part of mathematics for experimental sciences which has a continuous evolution in the last century. It is developed according to the Fraenkel-Mostowski axioms of set theory. The axiom of choice is inconsistent in the Finitely Supported Mathematics. We prove that several weaker forms of the axiom of choice are also inconsistent in the Finitely Supporte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.303.9